EXTRA_DIST = manual.tex
